lean_workbook_plus_34169
Provedprove that:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_34169 (x y z : ℝ) : x^2*y^2*z^2 - x*y^4*z - x^2*y^3*z - x^5*y + y^6 + x^6 ≥ 0 := by sorry
Source
prove that:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_34169 (x y z : ℝ) : x^2*y^2*z^2 - x*y^4*z - x^2*y^3*z - x^5*y + y^6 + x^6 ≥ 0 := by sorry