Closedness of tangent spaces under convergent base points
ID: closedness-of-tangent-spaces-under-convergent-base-points
For an embedded smooth manifold , if , , and , then . In a local graph representation , write and use continuity of .
New to topics? Read the docs here!