Metamath Proof Explorer


Syntax definition cacos

Description: The arccosine function.

Ref Expression
Assertion cacos class arccos