refactor(algebra/category/Group/limits): simp -> refl (#5911)
refactor(algebra/category/Group/limits): simp -> refl (#5911)

Co-authors: `lean-gptf`, Stanislas Polu






leanprover-community/mathlib,leanprover-community/mathlib