Artin-Tits group
Redirect to:
Artin–Tits group