Theorem Polynomial.natTrailingDegree_mul

Modification history