Unity_Divides_All_Elements
Proveddivisibilityintegral-domainsproofwiki
In an integral domain, unity divides every element.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Unity_Divides_All_Elements {D : Type _} [CommRing D] [IsDomain D] (x : D) : (1 : D) ∣ x := by sorrySource