Erdős–Szemerédi theorem

GPTKB entity