Equivalence of Definitions of Real Hyperbolic Cotangent