Source: wikibot/thompson-transitivity-theorem

= Thompson transitivity theorem
{wiki=Thompson_transitivity_theorem}