Metamath Proof Explorer


Syntax definition ccos

Description: Extend class notation to include the cosine function.

Ref Expression
Assertion ccos class cos