Cocompact CAT(0) spaces are almost geodesically complete

From MaRDI portal
Publication:1765323