Assertion: curvature's geometry | /r/HasProperty | defined
Facets:
Source sentences:
text: Then the global geometry of the universal covering is defined, but, as a rule, it will be completely different from the global geometry of the covered surface.