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_eqView on Github →