Equivalence of Definitions of Hyperbolic Secant

Theorem
The following definitions of the hyperbolic secant are equivalent: