theorem :: SINCOS10:132

arccosec2 | (cosec .: ].0,(PI / 2).[) is continuous by Th124, FDIFF_1:25;