Peter-Weyl theorem for Iwahori groups and highest weight categories - Evgeny Feigin; Anton Khoroshkin; Ievgen Makedonskyi; Daniel Orr (2023)