Theorem CategoryTheory.MonoidalClosed.curry'_uncurry'

Modification history