Who worked on representation theory of lie groups