Source: /wikibot/bourbaki-witt-theorem

= Bourbaki–Witt theorem
{wiki=Bourbaki–Witt_theorem}