Theorem Polynomial.natDegree_C_mul

Modification history