Theorem Polynomial.degree_add_div

Modification history