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