lean_workbook_plus_79994

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

$(z + 2)^2 = 0\Longrightarrow\fbox{z = - 2}$

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_79994  (z : ℂ)
  (h₀ : (z + 2)^2 = 0) :
  z = -2   :=  by sorry

Source