Theorem IntermediateField.algHomAdjoinIntegralEquiv_symm_apply_gen

Modification history

2023-11-01 13:33
Mathlib/FieldTheory/Adjoin.lean
refactor: golf Normal.of_isSplittingField (#8004) …
Added IntermediateField.algHomAdjoinIntegralEquiv_symm_apply_genView on Github →