Theorem CategoryTheory.MonoidalClosed.uncurry_curry

Modification history