Element_of_Integral_Domain_Divides_Zero
Proveddivisibilityintegral-domainsproofwiki
Let D be an integral domain. Then every element of D divides zero.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Element_of_Integral_Domain_Divides_Zero {D : Type _} [CommRing D] [IsDomain D] (x : D) : x ∣ 0 := by sorrySource