Holomorphic inverse function theorem
= Holomorphic inverse function theorem
If a holomorphic function $f$ satisfies $f'(z_0)\ne0$, then it has a holomorphic local inverse near $z_0$ and is conformal there. Its possible failures of local conformality are therefore its critical points.