feat: prove the Ramsey theorem for infinite graphs#281

ctchou wants to merge 5 commits intoleanprover:mainleanprover/cslib:mainfrom

ctchou:graph-ramseyctchou/cslib:graph-ramseyCopy head branch name to clipboard