[[!redirects Heyting GCD domain]] < [[nlab:GCD domain]] category: redirected to nlab