Theorem Action.functorCategoryMonoidalAdjunction.counit_app_app

Modification history