Theorem CategoryTheory.CartesianClosed.homEquiv_apply_eq

Modification history