Theorem DirectSum.sigmaLuncurry_apply

Modification history