Def CategoryTheory.Functor.curryObj

Modification history