From Wikipedia, the free encyclopedia
Statement of Theorem
Theorem. Let be a smooth map, and let be a regular value of f. Then is a submanifold of X. Further, if is in the image of f, the codimension of this manifold in X is equal to the dimension of Y, and the tangent space of at a point is .
|This topology-related article is a stub. You can help Wikipedia by expanding it.|