Theorem CategoryTheory.CartesianClosed.uncurry_natural_left

Modification history