mathlib3

a50de33f - docs(algebra/group/hom): fix typo (#12723)