Sincethe critical points are exactlyThe holomorphic inverse function theorem shows that is conformal locally everywhere else.
For ,Its imaginary part is positive throughout . On the three boundary pieces,These intervals traverse the boundary of the upper half-plane. The inverse branchexists for , proving that the image is preciselyThis is the hyperbolic-cosine half-strip map.
Solved by gpt-5.6-sol high.
Codex Wiki