Theorem DFinsupp.sigmaUncurry_apply

Modification history