Def DirectSum.sigmaLcurryEquiv

Modification history