Boundary degeneration under a mapping-out function (source code)

= Boundary degeneration under a mapping-out function

If $z_n\in\mathbb H\setminus A$ approaches a point of a compact H-hull $A$, then
$$
\operatorname{Im}g_A(z_n)\longrightarrow0.
$$
The real part need not converge: the two sides of a vertical slit have distinct real boundary values under its mapping-out function.