Theorem CategoryTheory.MonoidalClosed.curry_injective

Modification history