Theorem Polynomial.degree_linear_lt

Modification history