Kruskal–Katona theorem

GPTKB entity