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

Estimated changes