lean_workbook_plus_15342
DisprovedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_15342 (x : ℝ) (hx : x ≠ 37) : (x - 67) / (x - 37) = (x - 37 + 30) / (x - 37) := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_15342 (x : ℝ) (hx : x ≠ 37) : (x - 67) / (x - 37) = (x - 37 + 30) / (x - 37) := by sorry