Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.roots_map_of_injective_card_eq_total_degree

Modification history