Theorem Polynomial.natDegree_mul

Modification history