:: deftheorem defines arccosec1 SINCOS10:def 3 :
arccosec1 = (cosec | [.(- (PI / 2)),0.[) " ;