Theorem IntermediateField.normalClosure_le_iff_of_normal

Modification history

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