Erdős–Dushnik–Miller theorem

GPTKB entity