Assertion: smooth curve | /r/HasProperty | smooth map
Facets:
Source sentences:
text: If X {\displaystyle X} is a smooth manifold, a smooth curve in X {\displaystyle X} is a smooth map