Dive deeper into Projection-valued measure
New Tab