:: deftheorem defines arccot SIN_COS9:def 2 :
arccot = (cot | ].0,PI.[) " ;