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