Theorem Polynomial.eval_eq_sum_range

Modification history