Mathematics for Applied Sciences (Osnabrück 2023-2024)/Hyperbolic functions/R/Elementary properties/Fact/Proof/Exercise/Exercisereferencenumber