Assertion: normal curvature | /r/HasProperty | principal curvatures
Facets:
Source sentences:
text: Let $ 1/R _ {1} $, $ 1/R _ {2} $ be their normal curvatures, i.e. the principal curvatures at the point $ O $