Cotangent of 30 Degrees

Theorem

 * $\cot 30^\circ = \cot \dfrac {\pi} 6 = \sqrt 3$

where $\cot$ denotes cotangent.