lean_workbook_plus_33186
OpenGiven , prove that for all real x.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33186 (x : ℝ) (c : ℝ) : 0 < exp (c * x) := by sorry
Source
Given , prove that for all real x.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33186 (x : ℝ) (c : ℝ) : 0 < exp (c * x) := by sorry