Commit 2025-12-18 20:02 857abcc1

feat(Arcosh): continuity, differentiability, bijectivity (#32794) We show that arcosh is continuous, differentiable, and continuously differentiable infinitely many times. We also show that cosh and arcosh are bijective, injective, and surjective. All of these, on the respective domains.