Def CategoryTheory.MonoidalClosed.uncurry'

Modification history