Theorem Real.isEquivalent_sinh

Modification history

2025-12-09 06:39
Mathlib/Analysis/SpecialFunctions/Trigonometric/Deriv.lean
refactor: split long file Analysis.SpecialFunctions.Trigonometric.Deriv (#32605) …
Modified Real.isEquivalent_sinhView on Github →
2025-08-23 19:57
Mathlib/Analysis/SpecialFunctions/Trigonometric/Deriv.lean
feat(Trigonometric/Deriv): add `IsEquivalent` lemmas (#28810) …
Added Real.isEquivalent_sinhView on Github →