Question: When was direct integral introduced by von Neumann?
Sentence: The direct integral was introduced in 1949 by John von Neumann.
Answer in sentence: yes