lean_workbook_plus_47563

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

$(x-2)(x-3)(x+1)=0 \Longrightarrow$ $x=3$ or $x=2$ or $x=-1$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_47563 (x : ℝ) (hx : (x-2)*(x-3)*(x+1) = 0) : x = 3 ∨ x = 2 ∨ x = -1   :=  by sorry

Source