Source: wikibot/pugh-s-closing-lemma

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