Katona's intersection theorem

GPTKB entity