Schlicht

Schlichtness refers to a property of complex functions, specifically holomorphic functions. A holomorphic function is said to be schlicht if it is one-to-one (injective) and onto (surjective) on its domain. In other words, a schlicht function maps distinct points in its domain to distinct points in its range without leaving out any points in the range.

Schlicht functions are an important class of functions in the field of complex analysis, as they possess certain useful properties and are often employed to study geometric mapping problems and conformal mappings. One notable subclass of schlicht functions is the class of schlicht functions that are normalized, which means they satisfy the conditions $f(0) = 0$ and $f'(0) = 1$.

The KoenigsFunction is necessary a normalized schlicht function