Commit 2025-12-16 10:54 be343029
View on Github →chore(Algebra/Polynomial/Roots): change name of roots_eq_of_degree_le_card (#32917)
Changed the name of roots_eq_of_degree_le_card to roots_eq_of_degree_eq_card, reflecting the actual statement.
chore(Algebra/Polynomial/Roots): change name of roots_eq_of_degree_le_card (#32917)
Changed the name of roots_eq_of_degree_le_card to roots_eq_of_degree_eq_card, reflecting the actual statement.