lean_workbook_plus_70928
OpenFor it is true that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_70928 : ∀ x ≥ 0, exp (-x) ≤ 1 := by sorry
Source
For it is true that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_70928 : ∀ x ≥ 0, exp (-x) ≤ 1 := by sorry