lean_workbook_plus_31715
ProvedIf is an integral domain, does it imply that ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_31715 : ∀ a : ℤ, a^2 = 0 → a = 0 := by sorry
Source
If is an integral domain, does it imply that ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_31715 : ∀ a : ℤ, a^2 = 0 → a = 0 := by sorry