ProjectOverview • 146

projection measure integration/functional calculus
Hilbert space finite rank operators
Hilbert space compact operators/approximation theorem
spectral-Schar/projection measure