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