lean_workbook_plus_13585
ProvedProve that
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13585 {a b c : ℝ} : (a - 2 * b + c) ^ 2 ≥ 0 := by sorrySource
Prove that
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_13585 {a b c : ℝ} : (a - 2 * b + c) ^ 2 ≥ 0 := by sorry