:: deftheorem defines arccosec2 SINCOS10:def 4 :
arccosec2 = (cosec | ].0,(PI / 2).]) " ;