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!