Real spectral theorem, with the complex spectral theorem reviewed in the beginning for context.
20 сен 2024