Open mapping theorem (complex analysis)
= Open mapping theorem
{disambiguate=complex analysis}
{wiki}
A nonconstant holomorphic function on a domain maps open sets to open sets. Around any point, isolate its zero relative to the value there and use <Rouché's theorem> to show that every sufficiently nearby value has a preimage.