Inverse Cotangent Function

Cotangent is not one-to-one over its full domain, but $\cot:(0,\pi)\to(-\infty,\infty)$ IS a bijection. …