Def CategoryTheory.curry₃ObjProdComp

Modification history