Theorem Polynomial.eval₂_finset_sum

Modification history