Theorem Polynomial.natDegree_mul_X_pow

Modification history