Local diffeomorphism (source code)

= Local diffeomorphism
{wiki}

A local diffeomorphism restricts near every point to a diffeomorphism onto an open subset. In particular, every local diffeomorphism is an open map.