lean_workbook_plus_81773
ProvedProve that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_81773 : ∀ x y : ℝ, x^2 + x*y + y^2 - x - y + 1 ≥ 2/3 := by sorry
Source
Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_81773 : ∀ x y : ℝ, x^2 + x*y + y^2 - x - y + 1 ≥ 2/3 := by sorry