Theorem Polynomial.degree_div_lt

Modification history