Holomorphic logarithm (source code)

= Holomorphic logarithm

A holomorphic logarithm of a nonvanishing holomorphic function $f$ is a holomorphic function $g$ with $e^g=f$. On a simply connected domain, every nonvanishing holomorphic function has one.