Theorem CategoryTheory.MonoidalClosed.curry_natural_left

Modification history