Database
BASIC REAL AND COMPLEX FUNCTIONS
Basic trigonometry
Inverse trigonometric functions
catan
Next ⟩
df-asin
Metamath Proof Explorer
Ascii
Structured
Syntax definition
catan
Description:
The arctangent function.
Ref
Expression
Assertion
catan
class
arctan