Mathlib Changelog
v4
Changelog
About
Github
Theorem
Real.tanh_eq
Modification history
2025-12-10 18:38
Mathlib/Analysis/Complex/Trigonometric.lean
feat(Trigonometry): add tanh_eq (#32694) …
Added
Real.tanh_eq
View on Github →