Hyperbolic Tangent of Sum/Corollary

Corollary to Hyperbolic Tangent of Sum

 * $\map \tanh {a - b} = \dfrac {\tanh a - \tanh b} {1 - \tanh a \tanh b}$

where $\tanh$ denotes the hyperbolic tangent.