[[!redirects Open problems]] [[!redirects open problems]] < [[nlab:open problems in homotopy type theory]] category:redirected to nlab