lean_workbook_plus_64831
DisprovedProve that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_64831 : ∀ a b : ℝ, (2*a-4)^2 + (2*b-3)^2 > 49 := by sorry
Source
Prove that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_64831 : ∀ a b : ℝ, (2*a-4)^2 + (2*b-3)^2 > 49 := by sorry