feat(Combinatorics/SimpleGraph/Maps): add theorems about composition#37624

IvanRenison wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

IvanRenison:SimpleGraph.Hom.compIvanRenison/mathlib4:SimpleGraph.Hom.compCopy head branch name to clipboard