lean_workbook_plus_40784
DisprovedProve that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_40784 : ∀ x y : ℝ, (3+2*x*y)*(18-6*x*y+(x*y)^2) ≤ 64 := by sorry
Source
Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_40784 : ∀ x y : ℝ, (3+2*x*y)*(18-6*x*y+(x*y)^2) ≤ 64 := by sorry