Diagonal lemma (source code)

= Diagonal lemma
{wiki=Diagonal_lemma}