Theorem Action.functorCategoryMonoidalEquivalence.inv_unit_app_app

Modification history