multidimensional Szemerédi theorem

GPTKB entity