:: deftheorem defines cosec FDIFF_9:def 2 :
cosec = sin ^ ;