theorem Th95: :: SINCOS10:95

arccosec1 | [.(- (sqrt 2)),(- 1).] is continuous