lean_workbook_plus_79341
ProvedSolve the equation
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_79341 (z : ℂ) : 5 * z * (z + 8) = 0 ↔ z = 0 ∨ z = -8 := by sorry
Source
Solve the equation
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_79341 (z : ℂ) : 5 * z * (z + 8) = 0 ↔ z = 0 ∨ z = -8 := by sorry