Cotangent of Angle plus Straight Angle

Theorem

 * $\map \cot {x + \pi} = \cot x$

Also see

 * Sine of Angle plus Straight Angle
 * Cosine of Angle plus Straight Angle
 * Tangent of Angle plus Straight Angle
 * Secant of Angle plus Straight Angle
 * Cosecant of Angle plus Straight Angle