Def DFinsupp.sigmaCurryEquiv

Modification history