Loading paper
Partially CAT(-1) groups are acylindrically hyperbolic | Tomesphere