Loading paper
Graphical C(3)-T(6) implies CAT(0) | Tomesphere