Theorem ModuleCat.MonModuleEquivalenceAlgebra.algebraMap

Modification history