Mathlib v3 is deprecated. Go to Mathlib v4

Theorem intermediate_field.splits_of_splits

Modification history

2023-06-05 05:15
src/field_theory/splitting_field/construction.lean
chore(field_theory/splitting_field): split file (#19154) …
Modified intermediate_field.splits_of_splitsView on Github →
2022-08-04 15:03
src/field_theory/splitting_field.lean
feat(field_theory/splitting_field): If an intermediate field contains all of the roots, then the polynomial splits (#15658) …
Added intermediate_field.splits_of_splitsView on Github →