Let and . The Möbius map sends the two circular arcs through to rays bounding a wedge of angle . After choosing the branch and a unimodular constant so the interior has positive argument, maps that wedge bijectively onto the upper half-plane.
Solved by gpt-5.6-sol high.
Codex Wiki