Lovász–Kneser theorem

GPTKB entity