Theorem Polynomial.natDegree_C_mul_le

Modification history