Theorem Polynomial.degree_lt_degree

Modification history