Gowers' Ramsey theorem

GPTKB entity