We have to: hyperbolic length of Z2 and Z3 = natural log of [Z1,Z2;Z3,Z4]
can someone show me how to prove this equation?
hyperbolic length is a a map, taking two points in the upper half plane of complex plane to the real number
A function of pairs of points within a unit circle, where the interior of this circle is a conformal or projective representation of a hyperbolic space