Theorem CategoryTheory.MonoidalClosed.whiskerLeft_curry_ihom_ev_app

Modification history