Definition:Inverse Cotangent