Theorem Finset.sum_smul_sum_eq_sum_perm

Modification history