Theorem CategoryTheory.MonoidalClosed.eq_curry_iff

Modification history