Theorem CategoryTheory.MonoidalClosed.curry'_injective

Modification history