lean_workbook_plus_68120
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_68120 (a b c d : ℝ) : a^2*c^2 - a*b*c*d + b^2*d^2 ≥ a*b*c*d := by sorry
Source
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_68120 (a b c d : ℝ) : a^2*c^2 - a*b*c*d + b^2*d^2 ≥ a*b*c*d := by sorry