Def category_theory.monoidal_closed.curry

Modification history