lean_workbook_plus_70165
ProvedGiven and , find .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_70165 (f : ℝ → ℝ) (hf : ∀ x y, f (x + y) = f x + f y) (h : f 1 = 3) : f 2 = 6 := by sorry
Source
Given and , find .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_70165 (f : ℝ → ℝ) (hf : ∀ x y, f (x + y) = f x + f y) (h : f 1 = 3) : f 2 = 6 := by sorry