Source: wikibot/peter-weyl-theorem

= Peter–Weyl theorem
{wiki=Peter–Weyl_theorem}