Def alg_hom.restrict_normal_aux

Modification history

2021-01-27 08:41
src/field_theory/normal.lean
feat(field_theory/normal): Restrict to normal subfield (#5845) …
Added alg_hom.restrict_normal_auxView on Github →