feat(SimpleGraph): the cycle graph and complete graph are Hamiltonian#34799

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

vlad902:top-ishamiltonianvlad902/mathlib4:top-ishamiltonianCopy head branch name to clipboard