Open Internet by MindsNet

Riesz-Markov-Kakutani and Spectral theorem