Theorem Real.exp_le_two_add_div_two_sub

Modification history

2026-06-13 17:40
Mathlib/Analysis/Complex/Exponential.lean
feat(Analysis/Complex/Exponential): add new bounds on exponential (#39690) …
Added Real.exp_le_two_add_div_two_subView on Github →