Theorem IsGalois.splits

Modification history

2025-11-20 19:42

Mathlib/FieldTheory/Galois/Basic.lean

feat(Algebra/Polynomial/Splits): remove the `RingHom` argument of `Splits` (#31631)

Modified IsGalois.splits View on Github →

2023-06-16 05:40

Mathlib/FieldTheory/Galois.lean

feat: port FieldTheory.Galois (#5115)

Added IsGalois.splits View on Github →