Theorem CategoryTheory.MonoidalClosed.uncurry_eq

Modification history