## hyperbolic triangles

(cosh(x)cosh(y)) / cosh(z)

where x,y,z are hyperbolic angles, is a formula or general result in hyperbolic geometry..(i think) for which hyperbolic triangles does it hold?