lean_workbook_plus_720
ProvedSolve the equation:
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_720 (x : ℝ) : x^3 - 9*x^2 + 27*x - 27 = 0 ↔ x = 3 := by sorry
Source
Solve the equation:
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_720 (x : ℝ) : x^3 - 9*x^2 + 27*x - 27 = 0 ↔ x = 3 := by sorry