Def CategoryTheory.MonoidalClosed.uncurry

Modification history