Hydrodynamic normalization at infinity (source code)

= Hydrodynamic normalization at infinity

A conformal map from an upper-half-plane domain has hydrodynamic normalization when $g(z)-z\to0$ at infinity. For a compact H-hull this normalization makes its <mapping-out function of a compact H-hull> unique.