Source: /wikibot/direct-limit-of-groups

= Direct limit of groups
{wiki=Direct_limit_of_groups}