Theorem Finset.sum_single_ite

Modification history