theorem Th79: :: SINCOS10:79

arccosec1 | (cosec .: [.(- (PI / 2)),0.[) is decreasing