Theorem IsAbelianGalois.of_algHom

Modification history

2025-10-18 16:44
Mathlib/FieldTheory/Galois/Abelian.lean
feat(FieldTheory): abelian extensions (#23669)
Added IsAbelianGalois.of_algHomView on Github →