[[!redirects elementary (infinity,1)-topos]] < [[nlab:elementary (infinity,1)-topos]]