theorem :: SINCOS10:131

arccosec1 | (cosec .: ].(- (PI / 2)),0.[) is continuous by Th123, FDIFF_1:25;