Theorem CategoryTheory.MonoidalClosed.uncurry_id_eq_ev

Modification history