Theorem Polynomial.le_trailingDegree_monomial

Modification history