Def CategoryTheory.Functor.currying

Modification history