# Local immersion theorem

From Diffgeom

## Statement

Let and be differential manifolds of dimensions . Let be a differentiable map between them. Let be a point such that is an immersion at -- in other words, the induced map is injective. Then, there exists a neighbourhood in and in , and a choice of coordinate charts, such that the restriction of to , viewed using those coordinate charts, is a map of the form: