Def CategoryTheory.CartesianClosed.uncurry

Modification history