Theorem Polynomial.natDegree_X_mul

Modification history