A diffeomorphism is a Map between Manifolds which is Differentiable and has a Differentiable inverse.
