feat(group_theory/group_action/embedding): group actions apply on the codomain of embeddings (#12798)
feat(group_theory/group_action/embedding): group actions apply on the codomain of embeddings (#12798)






leanprover-community/mathlib,leanprover-community/mathlib