Def CategoryTheory.currying₃

Modification history