Metamath Proof Explorer


Syntax definition catan

Description: The arctangent function.

Ref Expression
Assertion catan
class arctan