Theorem Polynomial.degree_map_eq_of_injective

Modification history