definition. A Homeomorphism that is also differentiable both ways, so that it preserves the Differentiable structure.

vid2

Two Manifolds are called diffeomorphic if there exists a diffemorphism between them. But there can be local diffeomorphisms.

One of the most powerful ways to build local diffeomorphisms is to use the Inverse function theorem