Theorem Polynomial.C_mul_comp

Modification history