Theorem CategoryTheory.MonoidalClosed.coev_app_comp_pre_app

Modification history