Theorem IsAbelianGalois.tower_top

Modification history

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