lean_workbook_plus_44662

Proved

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

Find the value of $f(2)$ if $f(x) = x^2 + 2x + 1$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_44662 (f : ℝ → ℝ) (f_def : ∀ x, f x = x^2 + 2*x + 1) : f 2 = 9   :=  by sorry

Source