Loading paper
The seven-strand braid group is CAT(0) | Tomesphere