I want to know the answer to the following question:
What did von Neumann use the Haar theorem to solve in a 1936 paper?
All the background I'm provided with is that "In his 1936 paper on analytic measure theory, he used the Haar theorem in the solution of Hilbert's fifth problem in the case of compact groups.". Is that enough to answer the question?
Answer: yes