Metamath Proof Explorer


Syntax definition ccsc

Description: Extend class notation to include the cosecant function, see df-csc .

Ref Expression
Assertion ccsc
class csc