Tukey's lemma

Summary