Theorem Polynomial.eval₂_eq_sum

Modification history