Commit 2024-11-18 21:18 654802e5

View on Github →

feat(Polynomial/Splits): dvd_iff_roots_le_roots (#18800)

Estimated changes

Modified Mathlib/Algebra/Polynomial/Splits.lean

added theorem Polynomial.Splits.dvd_iff_roots_le_roots

added theorem Polynomial.Splits.dvd_of_roots_le_roots