Def CategoryTheory.Functor.currying₃

Modification history