lean_workbook_plus_64324
ProvedFor every ,let \nthen
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_64324 (a b d : ℤ) (h : d = a + b) : d * a + d * b ∣ (d * a)^2 + (d * b)^2 := by sorry
Source
For every ,let \nthen
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_64324 (a b d : ℤ) (h : d = a + b) : d * a + d * b ∣ (d * a)^2 + (d * b)^2 := by sorry