Theorem Fintype.sum_piFinset_apply

Modification history