Def CategoryTheory.MonoidalClosed.curryHomEquiv'

Modification history