Structure IsMonoidHom

Modification history