ByNobleID
    Extra large type Artin groups are CAT(0) and acylindrically hyperbolic | NobleID