Theorem CategoryTheory.MonoidalClosed.ofEquiv_uncurry_def

Modification history