General self-referential lemma

Redirect to:

  • Diagonal lemma#History