Source: wikibot/pasting-lemma

= Pasting lemma
{wiki=Pasting_lemma}