Spectral_theory_of_compact_operators loading ...