Theorem Action.functorCategoryMonoidalEquivalence.μIso_inv_app

Modification history