Inverse of the sinh function
In this file we prove that sinh is bijective and hence has an inverse, arsinh.
sinh_injective: The proof that
sinh_surjective: The proof that
sinh_bijective: The proof
arsinh: The inverse function of
arsinh, arcsinh, argsinh, asinh, sinh injective, sinh bijective, sinh surjective