Loading paper
On the rank of $\pi_1(\mathrm{Symp}_0)$ | Tomesphere