Source: wikibot/diagonal-lemma

= Diagonal lemma
{wiki=Diagonal_lemma}