# Inverse function theorem

From Diffgeom

## Statement

Let be a differentiable map such that the determinant of the Jacobian matrix of at a particular point , is nonzero (i.e. the Jacobian matrix is nonsingular). Then, there exist open neighbourhoods and such that the restriction of to is a diffeomorphism from to .