Theorem Action.functorCategoryMonoidalEquivalence.inverse_map

Modification history