Theorem CategoryTheory.CartesianClosed.homEquiv_symm_apply_eq

Modification history