Theorem Polynomial.exists_isRoot_of_roots_ne_zero

Modification history

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