Theorem CategoryTheory.MonoidalClosed.uncurry_injective

Modification history