A local diffeomorphism restricts near every point to a diffeomorphism onto an open subset. In particular, every local diffeomorphism is an open map.
A **local diffeomorphism** is a mathematical concept from differential geometry that describes a type of smooth map between two differentiable manifolds (or smooth manifolds).
New to topics? Read the docs here!