lean_workbook_plus_29835
Provedb)
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_29835 (f : ℝ → ℝ) (hf: f >= 0) (x : ℝ) (hx: x >= 0) : f x >= 0 := by sorry
Source
b)
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_29835 (f : ℝ → ℝ) (hf: f >= 0) (x : ℝ) (hx: x >= 0) : f x >= 0 := by sorry