Theorem CategoryTheory.CartesianClosed.uncurry_curry

Modification history