lean_workbook_plus_55131
ProvedGiven , how does this imply that ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_55131 (a b : ℝ) (h : a / b = 1) : a = b := by sorry
Source
Given , how does this imply that ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_55131 (a b : ℝ) (h : a / b = 1) : a = b := by sorry