Theorem Polynomial.isRoot_of_isRoot_iff_dvd_derivative_mul

Modification history

2024-12-11 13:59
Mathlib/FieldTheory/IsAlgClosed/AlgebraicClosure.lean
chore: golf AlgebraicClosure construction using Isaacs (#19853) …
Modified Polynomial.isRoot_of_isRoot_iff_dvd_derivative_mulView on Github →
2024-11-28 14:24
Mathlib/FieldTheory/IsAlgClosed/AlgebraicClosure.lean
feat: Polynomial.isRoot_of_isRoot_iff_dvd_derivative_mul (#19146)
Added Polynomial.isRoot_of_isRoot_iff_dvd_derivative_mulView on Github →