Theorem Real.hasStrictDerivAt_arcosh

Modification history

2025-12-18 20:02
Mathlib/Analysis/SpecialFunctions/Arcosh.lean
feat(Arcosh): continuity, differentiability, bijectivity (#32794) …
Added Real.hasStrictDerivAt_arcoshView on Github →