Def FiniteGaloisIntermediateField.finGaloisGroup

Modification history

2024-10-19 22:21
Mathlib/FieldTheory/Galois/GaloisClosure.lean
chore(FieldTheory/Galois): Move infinite Galois (#17945) …
Modified FiniteGaloisIntermediateField.finGaloisGroupView on Github →
2024-10-18 17:54
Mathlib/FieldTheory/Galois/Infinite.lean
feat(FieldTheory/Galois): Finite galois subextensions (#16978) …
Added FiniteGaloisIntermediateField.finGaloisGroupView on Github →