Theorem Polynomial.eval_eq_sum

Modification history