Def Action.functorCategoryMonoidalAdjunction

Modification history