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