Assertion: triangle's length | /r/HasProperty | unit
Facets:
Source sentences:
text: In all the formulas stated below the sides a, b, and c must be measured in absolute length, a unit so that the Gaussian curvature K of the plane is −1.