Def CategoryTheory.Functor.curryObjProdComp

Modification history