Assertion: curvature's curvature | /r/HasProperty | $ k = - 1/a
Facets:
Source sentences:
text: The Gaussian curvature of the pseudo-sphere is $ K = - 1/a ^ {2} $.