mathlib

ed6d94a8 - chore(group_theory/group_action/defs): combine duplicated `comp_hom` and rename derivative definitions (#6942)

chore(group_theory/group_action/defs): combine duplicated `comp_hom` and rename derivative definitions (#6942) [Zulip thread](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Duplicate.20mul_action.20defs/near/232246589)