Redirecting to Peter–Weyl theorem