Theorem Polynomial.roots_eq_of_degree_le_card

Modification history

2025-12-16 10:54
Mathlib/Algebra/Polynomial/Roots.lean
chore(Algebra/Polynomial/Roots): change name of roots_eq_of_degree_le_card (#32917) …
Deleted Polynomial.roots_eq_of_degree_le_cardView on Github →
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_degree_le_cardView on Github →