Erdős–Turán theorem

GPTKB entity