Equivalence of Definitions of Hyperbolic Cotangent

Theorem
The following definitions of the hyperbolic cotangent are equivalent: