:: deftheorem defines arcsin SIN_COS6:def 1 :
arcsin = (sin | [.(- (PI / 2)),(PI / 2).]) " ;