Source: wikibot/mostowski-collapse-lemma

= Mostowski collapse lemma
{wiki=Mostowski_collapse_lemma}