Question: What did von Neumann use the Haar theorem to solve in a 1936 paper?
Sentence: 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.
Answer in sentence: yes