lean_workbook_plus_36843
ProvedProve that for any real numbers a and b.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_36843 (a b : ℝ) : (a - b) ^ 2 ≥ 0 := by sorry
Source
Prove that for any real numbers a and b.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_36843 (a b : ℝ) : (a - b) ^ 2 ≥ 0 := by sorry