Trigonometric function/Arccotangent/Definition

Arccotangent

The inverse function of the real cotangent function is

and is called arccotangent.