Metamath Proof Explorer


Syntax definition cacos

Description: The arccosine function.

Ref Expression
Assertion cacos
class arccos