Frankl–Wilson theorem

GPTKB entity