lean_workbook_plus_81418
ProvedAnd So, = − + − = .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_81418 (f : ℝ → ℝ) (f_def : ∀ x, f x = 2 * x^3 - 12 * x^2 + 23 * x - 12) : f 5 = 53 := by sorry
Source
And So, = − + − = .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_81418 (f : ℝ → ℝ) (f_def : ∀ x, f x = 2 * x^3 - 12 * x^2 + 23 * x - 12) : f 5 = 53 := by sorry