Source: wikibot/bergman-s-diamond-lemma

= Bergman's diamond lemma
{wiki=Bergman's_diamond_lemma}