Spectral Theorem | Bourbaki 2.0 | ObservableSpectral Theorem | Bourbaki 2.0 | Observable