Def mulMonoidHom

Modification history