Peter–Weyl_theorem loading ...