Theorem Polynomial.content_C_mul

Modification history