Chvátal–Erdős theorem

GPTKB entity