Theorem Polynomial.trailingDegree_mul

Modification history