[[!redirects Dedekind real numbers (disambiguation)]] < [[nlab:Dedekind real numbers]] category: redirected to nlab