Theorem Finset.sum_range_reflect

Modification history