Theorem Equiv.piCurry_apply

Modification history