Holomorphic implicit function theorem
ID: holomorphic-implicit-function-theorem
If a holomorphic function satisfies and , then near its zero set is the graph of a unique holomorphic function. The analogous statement with uses as the local coordinate.
New to topics? Read the docs here!