lean_workbook_plus_61655
DisprovedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_61655 : ∀ a x : ℝ, (x - a / 2) ^ 2 > a ^ 2 / 4 - 4 * a := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_61655 : ∀ a x : ℝ, (x - a / 2) ^ 2 > a ^ 2 / 4 - 4 * a := by sorry