Theorem Polynomial.eq_mul_leadingCoeff_of_monic_of_dvd_of_natDegree_le

Modification history

2025-11-23 18:05
Mathlib/Algebra/Polynomial/Div.lean
chore(Algebra/Polynomial/Div): remove commutativity assumption in `eq_of_monic_of_dvd_of_natDegree_le` (#31833) …
Added Polynomial.eq_mul_leadingCoeff_of_monic_of_dvd_of_natDegree_leView on Github →