Source: wikibot/focal-subgroup-theorem

= Focal subgroup theorem
{wiki=Focal_subgroup_theorem}