Def multilinearCurryRightEquiv

Modification history