Theorem CategoryTheory.MonoidalClosed.uncurry'_injective

Modification history