Theorem Polynomial.eval₂_sum

Modification history