Def Rep.equivalenceModuleMonoidAlgebra

Modification history