doc(algebra/group/hom_instances): Fix spellings (#11943)
doc(algebra/group/hom_instances): Fix spellings (#11943)

Fixes spelling mistakes introduced by #11843





leanprover-community/mathlib,leanprover-community/mathlib