Metamath Proof Explorer


Syntax definition csinh

Description: Extend class notation to include the hyperbolic sine function, see df-sinh .

Ref Expression
Assertion csinh class sinh