[[!redirects Cauchy sequence]] < [[nlab:Cauchy sequence]] category: redirected to nlab