Skip to content

FinField: use concrete types for sub-/overfield morphisms to improve inferrability#1961

Merged
thofma merged 1 commit intoNemocas:masterfrom benlorenz:bl/finfieldmorphtypeDec 5, 2024