Theorem Polynomial.roots_eq_of_degree_eq_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) …
Added Polynomial.roots_eq_of_degree_eq_cardView on Github →