Def CategoryTheory.Functor.curry₃ObjProdComp

Modification history