Definition:Inverse Cotangent/Complex

Also see

 * Equivalence of Definitions of Complex Inverse Cotangent Function