Theorem Polynomial.roots_eq_zero_iff_eq_zero_or_not_isRoot

Modification history

2026-10-23 13:54
Mathlib/Algebra/Polynomial/Roots.lean
refactor(Algebra/Polynomial): improve characterisation of `p.roots = 0` (#44237) …
Added Polynomial.roots_eq_zero_iff_eq_zero_or_not_isRootView on Github →