Theorem Polynomial.roots_eq_of_natDegree_le_card_of_ne_zero

Modification history

2025-12-11 10:09
Mathlib/Algebra/Polynomial/Roots.lean
feat(Polynomial/Roots): add a theorem for computing roots (#32357) …
Added Polynomial.roots_eq_of_natDegree_le_card_of_ne_zeroView on Github →