Trigonometric and hyperbolic trigonometric functions #
This file contains the definitions of the sine, cosine, tangent, hyperbolic sine, hyperbolic cosine, and hyperbolic tangent functions.
The complex hyperbolic sine function, defined via exp
Equations
Instances For
The complex hyperbolic cosine function, defined via exp
Equations
Instances For
@[deprecated Complex.norm_exp_ofReal_mul_I (since := "2025-02-16")]
Alias of Complex.norm_exp_ofReal_mul_I
.
@[deprecated Complex.norm_exp (since := "2025-02-16")]
Alias of Complex.norm_exp
.