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