Erdős–David–Szekeres theorem

GPTKB entity