Prove2Me

lean_workbook_plus_59114

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

Suppose f(2x+m)=2f(x)+uf(2x+m)=2f(x)+u . Then if t(x)=f(x−m)+ut(x)=f(x-m)+u then t(2x)=2t(x)t(2x)=2t(x)

Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_59114 (f : ℝ → ℝ) (u m : ℝ) (t : ℝ → ℝ) (hf : ∀ x, f (2 * x + m) = 2 * f x + u) (ht : ∀ x, t x = f (x - m) + u) : ∀ x, t (2 * x) = 2 * t x   :=  by sorry
Source
https://huggingface.co/datasets/internlm/Lean-Workbook

View graph