Theorem Polynomial.eval_sum

Modification history