Assertion: geometry's connection | /r/HasProperty | compatible
Facets:
Source sentences:
text: Connections can be defined independently of the metric, but if the metric and the connection are compatible it can be shown that any small piece of this curve is the shortest curve joining its end points, so the straightest curves on a manifold are the geodesics.