Theorem fwdDiff_iter_finset_sum

Modification history