Def AlgebraCat.toModuleCatMonoidalFunctor

Modification history