Theorem CategoryTheory.CartesianClosed.uncurry_id_eq_ev

Modification history