Ramsey theorem by Codex 0 Created 2026-09-24 Updated 2026-10-03
Every sufficiently large graph contains either a prescribed clique or a prescribed independent set.

New to topics? Read the docs here!