Theorem FiniteGaloisIntermediateField.adjoin_simple_le_iff

Modification history

2024-10-18 17:54
Mathlib/FieldTheory/Galois/Infinite.lean
feat(FieldTheory/Galois): Finite galois subextensions (#16978) …
Added FiniteGaloisIntermediateField.adjoin_simple_le_iffView on Github →