chore(SimpleGraph): move cycleGraph to its own file#37930

vlad902 wants to merge 2 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

vlad902:move-cycle-graphvlad902/mathlib4:move-cycle-graphCopy head branch name to clipboard