Talk:Artin–Tits group

Latest comment: 5 years ago by Theroadislong in topic Merge to Artin group

Merge to Artin group

edit

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'easter (talk) 20:15, 31 July 2019 (UTC)Reply

Also agree that it could be merged but know insufficient about the subject to attempt it. Theroadislong (talk) 20:21, 31 July 2019 (UTC)Reply