Assertion: defect | /r/HasProperty | the total
Facets:
value: over the triangle
type: LOCATION
value: in modern terms
type: OTHER
Source sentences:
text: In modern terms, the defect at a vertex or over a triangle (with a minus) is precisely the curvature at that point or the total (integrated) over the triangle, as established by the Gauss–Bonnet theorem.