Teaching of essential concepts and methods in Functional Analysis
Spectral Theorem forcompact selfadjoint operators
Not necessary