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 a number of von Neumann's papers, the methods of argument he employed are considered even more significant than the results.". Is that enough to answer the question?
Answer: no