Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for David A. Wheeler
Hyperbolic trigonometric functions
csinh
Next ⟩
ccosh
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csinh
Description:
Extend class notation to include the hyperbolic sine function, see
df-sinh
.
Ref
Expression
Assertion
csinh
class sinh