Source: wikibot/myers-steenrod-theorem

= Myers–Steenrod theorem
{wiki=Myers–Steenrod_theorem}