Theorem Polynomial.natTrailingDegree_neg

Modification history