Theorem Polynomial.natDegree_X_pow_mul

Modification history