lean_workbook_plus_57118
ProvedSolve for :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_57118 (x : ℝ) : -4 + x / 2013 = x / 671 ↔ x = -4026 := by sorry
Source
Solve for :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_57118 (x : ℝ) : -4 + x / 2013 = x / 671 ↔ x = -4026 := by sorry