Theorem CategoryTheory.MonoidalClosed.uncurry_pre

Modification history