Def MonoidHomClass.toMonoidHom

Modification history