Assertion: curve | /r/HasProperty | smooth
Facets:
value: near the point
type: OTHER
Source sentences:
text: This is a corollary of the analytic implicit function theorem, and implies that the curve is smooth near the point.