Theorem List.alternatingSum_eq_finset_sum

Modification history