chore(algebra/iterate_hom): use to_additive to fill missing lemmas (#10886)
chore(algebra/iterate_hom): use to_additive to fill missing lemmas (#10886)






leanprover-community/mathlib,leanprover-community/mathlib