Plancherel theorem
For biinvariant functions this establishes the Plancherel theorem for spherical functions: the map