Theorem CategoryTheory.CartesianClosed.curry_id_eq_coev

Modification history