[[!redirects Heyting division Z-algebra]] < [[nlab:division algebra]] category: redirected to nlab