Theorem Polynomial.degree_add_eq_left_of_degree_lt

Modification history