lean_workbook_plus_8411
Proved, if , what is ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_8411 (a b : ℝ) (f : ℝ → ℝ) (h₁ : f = fun x => a * x + b * x + x + 5) : f (-4) = 3 → f 4 = 7 := by sorry
Source
, if , what is ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_8411 (a b : ℝ) (f : ℝ → ℝ) (h₁ : f = fun x => a * x + b * x + x + 5) : f (-4) = 3 → f 4 = 7 := by sorry