Loading paper
The totally nonnegative Grassmannian is a ball | Tomesphere