Theorem Polynomial.roots_map_of_injective_of_card_eq_natDegree

Modification history