Assertion: curvature's curvature | /r/HasProperty | calculated as the limit of angle excess α
Facets:
value: at a point
type: TEMPORAL
Source sentences:
text: Gauss' formula shows that the curvature at a point can be calculated as the limit of angle excess α + β + γ