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