Def add_monoid_algebra.of_magma

Modification history