Commit 2025-12-10 18:38 e549dc07

View on Github →

feat(Trigonometry): add tanh_eq (#32694) Add tanh_eq, which is the counterpart of sinh_eq and cosh_eq.

Estimated changes

added theorem Real.tanh_eq