mathlib3

d928d9b4 - fix(algebra/category/Group/equivalence_Group_AddGroup): fix typo (#16067)