Assertion: curvature's curvature | /r/HasProperty | independent of the direction
Facets:
value: in all points
type: LOCATION
Source sentences:
text: When $ n > 2 $ it turns out that, if in all points the curvature is independent of the direction, then $ M ^ {n} $ is a space of constant curvature (Schur's theorem).