lean_workbook_plus_78617
ProvedFind the value of if .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_78617 (f : ℝ → ℝ) (h₁ : ∀ x, f x = 2 * x + 1) : f 3 = 7 := by sorry
Source
Find the value of if .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_78617 (f : ℝ → ℝ) (h₁ : ∀ x, f x = 2 * x + 1) : f 3 = 7 := by sorry