Theorem Real.contDiff_arsinh

Modification history

2025-12-18 20:02
Mathlib/Analysis/SpecialFunctions/Arsinh.lean
feat(Arcosh): continuity, differentiability, bijectivity (#32794) …
Modified Real.contDiff_arsinhView on Github →
2023-06-05 03:59
Mathlib/Analysis/SpecialFunctions/Arsinh.lean
feat: port Analysis.SpecialFunctions.Arsinh (#4674)
Added Real.contDiff_arsinhView on Github →