Theorem CategoryTheory.CartesianClosed.uncurry_natural_right

Modification history