Theorem CategoryTheory.CartesianClosed.curry_natural_right

Modification history