[Merged by Bors] - feat(FinitelyPresentedGroup): Additivize everything and add ℤ instance #38311

homeowmorphism wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

homeowmorphism:FinitelyPresented.AddGrouphomeowmorphism/mathlib4:FinitelyPresented.AddGroupCopy head branch name to clipboard