Def ModuleCat.MonModuleEquivalenceAlgebra.inverse

Modification history