Theorem Polynomial.eval_eq_sum_range'

Modification history