Assertion: curvature's curvature | /r/HasProperty | half its trace
Facets:
Source sentences:
text: The principal curvatures are the eigenvalues of the shape operator, the principal curvature directions are its eigenvectors, the Gauss curvature is its determinant, and the mean curvature is half its trace.