Theorem Polynomial.eval_mul

Modification history