Theorem CategoryTheory.MonoidalClosed.whiskerLeft_curry'_ihom_ev_app

Modification history