Theorem Polynomial.roots_eq_zero_iff_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_not_isRootView on Github →