Theorem IntermediateField.splits_of_mem_adjoin

Modification history

2023-11-18 00:38
Mathlib/FieldTheory/Normal.lean
feat: IsNormalClosure predicate (#8418) …
Added IntermediateField.splits_of_mem_adjoinView on Github →