Def continuousMultilinearCurryLeftEquiv

Modification history