Talk:Artin–Tits group

Merge to Artin group
Just chiming in to say that I agree with the merge proposal (but am not yet sure how best to carry it out). It looks like the "Definition" and "Examples" sections of this page may be redundant with what is already at Artin group, but maybe not all of the "Properties" section is. Thoughts? XOR&#39;easter (talk) 20:15, 31 July 2019 (UTC)
 * Also agree that it could be merged but know insufficient about the subject to attempt it. Theroadislong (talk) 20:21, 31 July 2019 (UTC)