Peter-Weyl theorem

1. redirect Peter–Weyl theorem

{{R from modification}}