Theorem Action.functorCategoryMonoidalEquivalence.functor_map

Modification history