Commit 2025-12-11 10:09 970fa803

feat(Polynomial/Roots): add a theorem for computing roots (#32357) The theorem roots_eq_of_degree shows that S is the set of roots of a degree d polynomial P if #S = d and P(x) = 0 for every x in S.