Loading paper
Separate continuity of the Lempert function of the spectral ball | Tomesphere