Assertion: coordinate system's angle | /r/HasProperty | defined on smooth manifold
Facets:
Source sentences:
text: Distances and angles can be defined on a smooth manifold by providing a smoothly varying Euclidean metric on the tangent spaces at the points of the manifold (these tangent are thus Euclidean vector spaces).