Erdős–Chao–Ko–Rado theorem

GPTKB entity