Theorem Polynomial.degree_add_eq_right_of_degree_lt

Modification history