Theorem CategoryTheory.MonoidalClosed.uncurry_natural_right

Modification history