Assertion: curvature's curvature | /r/HasProperty | calculated near point
Facets:
Source sentences:
text: His formula showed that the Gaussian curvature could be calculated near a point as the limit of area over angle excess for geodesic triangles shrinking to the point.