Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.is_splitting_field.of_alg_equiv

Modification history

2023-06-05 05:15
src/field_theory/splitting_field/construction.lean
chore(field_theory/splitting_field): split file (#19154) …
Modified polynomial.is_splitting_field.of_alg_equivView on Github →
2022-08-08 21:44
src/field_theory/splitting_field.lean
feat(field_theory/splitting_field): Add `image_root_set` (#15743) …
Added polynomial.is_splitting_field.of_alg_equivView on Github →