lean_workbook_plus_54891
ProvedLet . Find minimum of: \n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_54891 (x y : ℝ): (x^2 - 5*x + y^2 + x*y - 4*y + 2014) ≥ -1879 := by sorry
Source
Let . Find minimum of: \n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_54891 (x y : ℝ): (x^2 - 5*x + y^2 + x*y - 4*y + 2014) ≥ -1879 := by sorry