Theorem Polynomial.eval₂_list_sum

Modification history