Commit 2024-10-18 17:54 75204348
View on Github →feat(FieldTheory/Galois): Finite galois subextensions (#16978) Define the type of finite Galois subextensions and prove basic properties about it. Moves:
- Mathlib.FieldTheory.Galois -> Mathlib.FieldTheory.Galois.Basic