Def Equiv.piCurry

Modification history