Theorem Polynomial.natDegree_C_mul_X_pow_le

Modification history