Theorem Polynomial.coeff_mul_C

Modification history