Sós–Turán theorem

GPTKB entity