lean_workbook_plus_58494
DisprovedCombine like terms: .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_58494 : ∀ x y : ℝ, 22*x^2 - 4*x + 45*y^2 - 144*y + 32*(y-2)^2 - 140 ≥ 0 := by sorry
Source
Combine like terms: .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_58494 : ∀ x y : ℝ, 22*x^2 - 4*x + 45*y^2 - 144*y + 32*(y-2)^2 - 140 ≥ 0 := by sorry