lean_workbook_plus_26399
ProvedProve the inequality used in the solution:\n
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_26399 (x y : ℝ) : x^2 + y^2 + x*y ≥ 0 := by sorry
Source
Prove the inequality used in the solution:\n
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_26399 (x y : ℝ) : x^2 + y^2 + x*y ≥ 0 := by sorry