Theorem Polynomial.isRoot_of_isRoot_of_dvd_derivative_mul

Modification history

2024-11-28 14:24
Mathlib/Algebra/Polynomial/FieldDivision.lean
feat: Polynomial.isRoot_of_isRoot_iff_dvd_derivative_mul (#19146)
Added Polynomial.isRoot_of_isRoot_of_dvd_derivative_mulView on Github →