# Local submersion theorem

From Diffgeom

## Statement

Let and be differential manifolds of dimensions . Let be a differentiable map from to . Let be a point such that is a submersion at , i.e. the induced map on tangent spaces is surjective at . Then, there exists a neighbourhood in and in and coordinate charts for and such that in those coordinate charts, the map is a projection map: