Theorem CategoryTheory.CartesianClosed.curry_eq

Modification history