lean_workbook_plus_3909
ProvedWhat is the solution of this equation in complex number, ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3909 (x : ℂ) : x ^ 2 - 64 = 0 ↔ x = 8 ∨ x = -8 := by sorry
Source
What is the solution of this equation in complex number, ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3909 (x : ℂ) : x ^ 2 - 64 = 0 ↔ x = 8 ∨ x = -8 := by sorry