lean_workbook_plus_62925

Proved

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

If f(x)= $x^2+2x$ , and g(x)= $3x-4$ , then what is f(3)+g(4)?

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_62925 (f g : ℝ → ℝ) (f_def : ∀ x, f x = x^2 + 2 * x) (g_def : ∀ x, g x = 3 * x - 4) : f 3 + g 4 = 23   :=  by sorry

Source