Theorem CategoryTheory.MonoidalClosed.curry_id_eq_coev

Modification history