Theorem Polynomial.degree_monomial_le

Modification history