I want to know the answer to the following question:
When was direct integral introduced by von Neumann?
All the background I'm provided with is that "The direct integral was introduced in 1949 by John von Neumann.". Is that enough to answer the question?
Answer: yes