Theorem CategoryTheory.MonoidalClosed.ofEquiv_curry_def

Modification history