lean_workbook_plus_5788
ProvedSimplify the expression .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5788 (x : ℝ) : (x^2+x+9)+(5*x^2+9*x+2) = 6*x^2+10*x+11 := by sorry
Source
Simplify the expression .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5788 (x : ℝ) : (x^2+x+9)+(5*x^2+9*x+2) = 6*x^2+10*x+11 := by sorry