Theorem CategoryTheory.MonoidalClosed.curry_natural_right

Modification history