Cotangent of 345 Degrees

Theorem

 * $\cot 345 \degrees = \cot \dfrac {23 \pi} {12} = -\paren {2 + \sqrt 3}$

where $\cot$ denotes cotangent.