Principal-Value Rule for $$\cot^{-1}(\cot x)$$
## Formula
The value of:
$$\cot^{-1}(\cot x)$$
is the unique angle in:
$$(0,\pi)$$
coterminal with $$x$$ modulo $$\pi$$.
## Usage
- Used to correctly simplify inverse cotangent of cotangent for arbitrary real $$x$$.