Theorem CategoryTheory.CartesianClosed.eq_curry_iff

Modification history