Theorem Polynomial.C_mul_monomial

Modification history