Erdős–Rado theorem

GPTKB entity