[[!redirects Rezk completion]] < [[nlab:Rezk completion]] category:redirected to nlab