Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-05-31 15:03
25fc0a8f
View on Github →
feat(field_theory/splitting_field): lemmas (
#2887
)
Estimated changes
Modified
src/field_theory/splitting_field.lean
added
theorem
polynomial.splits_X_sub_C
added
theorem
polynomial.splits_id_iff_splits
added
theorem
polynomial.splits_mul_iff
added
theorem
polynomial.splits_one
added
theorem
polynomial.splits_prod
added
theorem
polynomial.splits_prod_iff