lean_workbook_plus_28386
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_28386 (x : ℝ) (h : (2017 * 2018 - 2016 * 2019) * x * (x - 4035) = 0) : x = 0 ∨ x = 4035 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_28386 (x : ℝ) (h : (2017 * 2018 - 2016 * 2019) * x * (x - 4035) = 0) : x = 0 ∨ x = 4035 := by sorry