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