Theorem Polynomial.eval_C_mul

Modification history