Theorem CategoryTheory.MonoidalClosed.curry_eq

Modification history