lean_workbook_plus_8052
ProvedIf and then equals
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_8052 (a b : ℝ) (h₁ : a + b = 7) (h₂ : 2 * a - b = 17) : a - b = 9 := by sorry
Source
If and then equals
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_8052 (a b : ℝ) (h₁ : a + b = 7) (h₂ : 2 * a - b = 17) : a - b = 9 := by sorry