Def NormedAddGroupHom.toAddMonoidHom

Modification history