lean_workbook_plus_43713
ProvedWe have .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_43713 (p x : ℝ) : ∃ f : ℝ → ℝ, f x = p * x + 1 - p / 2 := by sorry
Source
We have .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_43713 (p x : ℝ) : ∃ f : ℝ → ℝ, f x = p * x + 1 - p / 2 := by sorry