Theorem Polynomial.degree_add_eq_of_leadingCoeff_add_ne_zero

Modification history