[[!redirects H-magmoid]] [[!redirects H-magmoids]] < [[nlab:H-magmoid]] category:redirected to nlab