Assertion: geometry's point | /r/HasProperty | joined by unique geodesic
Facets:
Source sentences:
text: It implies that any two points of a simply connected complete Riemannian manifold with nonpositive sectional curvature are joined by a unique geodesic.