Database
REAL AND COMPLEX NUMBERS
Elementary trigonometry
The exponential, sine, and cosine functions
ccos
Next ⟩
ctan
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ccos
Description:
Extend class notation to include the cosine function.
Ref
Expression
Assertion
ccos
class
cos