Theorem CategoryTheory.MonoidalClosed.uncurry_natural_left

Modification history