Def Rep.equivalence_Module_monoid_algebra

Modification history