Theorem Action.functorCategoryMonoidalEquivalence.unit_app_hom

Modification history