lean_workbook_plus_67318
ProvedSolve this characteristic equation :
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_67318 (x : ℂ) : 4 * x ^ 2 - 4 * x + 1 = 0 ↔ x = 1 / 2 := by sorry
Source
Solve this characteristic equation :
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_67318 (x : ℂ) : 4 * x ^ 2 - 4 * x + 1 = 0 ↔ x = 1 / 2 := by sorry