Assertion: level | /r/HasProperty | hypersurface
Facets:
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.