theorem Th94: :: SINCOS10:94

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