Theorem DirectSum.sigmaUncurry_apply

Modification history