perf(Algebra/Ring): faster Ring.toAddGroupWithOne instance#38017

kbuzzard wants to merge 7 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

kbuzzard:kbuzzard-ring-to-addgroupwithonekbuzzard/mathlib4:kbuzzard-ring-to-addgroupwithoneCopy head branch name to clipboard