Theorem CategoryTheory.CartesianClosed.curry_natural_left

Modification history