Inverse of the sinh function #
In this file we prove that sinh is bijective and hence has an inverse, arsinh.
Main definitions #
Main Results #
Real.arsinhis continuous, differentiable, and continuously differentiable; we also provide dot notation convenience lemmas like
arsinh, arcsinh, argsinh, asinh, sinh injective, sinh bijective, sinh surjective