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