Theorem DirectSum.sigmaLcurry_apply

Modification history