Theorem Polynomial.Splits.dvd_of_roots_le_roots

Modification history

2025-11-20 19:42

Mathlib/Algebra/Polynomial/Splits.lean

feat(Algebra/Polynomial/Splits): remove the `RingHom` argument of `Splits` (#31631)

Modified Polynomial.Splits.dvd_of_roots_le_roots View on Github →

2024-11-18 21:18

Mathlib/Algebra/Polynomial/Splits.lean

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

Added Polynomial.Splits.dvd_of_roots_le_roots View on Github →