Theorem Polynomial.natTrailingDegree_monomial

Modification history