Theorem IsAbelianGalois.tower_bot

Modification history

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