Integers_under_Addition_form_Infinite_Cyclic_Group
Provedcyclic-groupsgroup-theoryintegersproofwiki
The additive group of integers is an infinite cyclic group which is generated by the element .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem Integers_under_Addition_form_Infinite_Cyclic_Group : AddSubgroup.closure ({1} : Set ℤ) = ⊤ := by sorrySource