Theorem Polynomial.smul_C

Modification history