Theorem Polynomial.trailingDegree_monomial

Modification history