Loading paper
Norm-attaining compact operators | Tomesphere