Dickson's lemma

GPTKB entity