Theorem Action.functorCategoryMonoidalEquivalence.μ_app

Modification history