Theorem Polynomial.monomial_mul_C

Modification history