Structure IsAddMonoidHom

Modification history