Theorem CategoryTheory.MonoidalClosed.uncurry_pre_app

Modification history