Theorem Polynomial.degree_map_eq_of_leadingCoeff_ne_zero

Modification history