Theorem Polynomial.eq_leadingCoeff_mul_of_monic_of_dvd_of_natDegree_le
Modification history
2025-04-10 13:15
Mathlib/Algebra/Polynomial/Div.lean
feat: generalize Mathlib.Algebra.Order + Polynomial (#23153) …
Modified Polynomial.eq_leadingCoeff_mul_of_monic_of_dvd_of_natDegree_leView on Github →