lean_workbook_plus_27432
ProvedFind the roots of the polynomial
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_27432 (m : ℝ) : m^3 - 6*m^2 + 11*m - 6 = 0 ↔ m = 1 ∨ m = 2 ∨ m = 3 := by sorry
Source
Find the roots of the polynomial
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_27432 (m : ℝ) : m^3 - 6*m^2 + 11*m - 6 = 0 ↔ m = 1 ∨ m = 2 ∨ m = 3 := by sorry