Loading paper
Connectivity of tropicalizations | Tomesphere