Theorem CategoryTheory.MonoidalClosed.curry_uncurry

Modification history