[[!redirects infinite decimal representation of a unit interval]] < [[nlab:infinite decimal representation of a unit interval]] category: redirected to nlab