lean_workbook_plus_13240
ProvedProve that if is an integer and , then .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13240 (a : ℤ) (h : a^2 = 0) : a = 0 := by sorry
Source
Prove that if is an integer and , then .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_13240 (a : ℤ) (h : a^2 = 0) : a = 0 := by sorry