Theorem Polynomial.degree_divX_lt

Modification history