lean_workbook_plus_16819
ProvedShow that if and then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_16819 (a b c d h f : ℝ) (h₁ : a + b = c + d) (h₂ : h = f) : a + b + h = c + d + f := by sorry
Source
Show that if and then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_16819 (a b c d h f : ℝ) (h₁ : a + b = c + d) (h₂ : h = f) : a + b + h = c + d + f := by sorry