Theorem Polynomial.roots_ne_zero_iff_ne_zero_and_exists_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_ne_zero_iff_ne_zero_and_exists_isRootView on Github →