Assertion: total curvature | /r/HasProperty | finite
Facets:
Source sentences:
text: The properties of surfaces with a definite metric and negative curvature, the total curvature of which is finite, have been studied exhaustively.