Theorem Action.functorCategoryMonoidalEquivalence.ε_app

Modification history