Theorem Polynomial.eval₂_eq_sum_range

Modification history