Erdős–Ko–Rado theorem

GPTKB entity