Theorem CategoryTheory.MonoidalClosed.uncurry'_curry'

Modification history