Def Finset.sumEquiv

Modification history