lean_workbook_plus_38214
DisprovedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_38214 : ∀ x y z : ℝ, 2 * x ^ 6 + 2 * y ^ 6 - y ^ 6 + 3 * x ^ 2 * y ^ 2 * z ^ 2 - 6 * x ^ 3 * z ^ 3 ≥ 0 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_38214 : ∀ x y z : ℝ, 2 * x ^ 6 + 2 * y ^ 6 - y ^ 6 + 3 * x ^ 2 * y ^ 2 * z ^ 2 - 6 * x ^ 3 * z ^ 3 ≥ 0 := by sorry