Assertion: level | /r/HasProperty | manifold
Facets:
value: outside the critical points of f.
type: LOCATION
Source sentences:
text: A consequence of this theorem (and its proof) is that if f is differentiable, a level set is a hypersurface and a manifold outside the critical points of f.