Pugh's closing lemma (source code)

= Pugh's closing lemma
{wiki=Pugh's_closing_lemma}