Talk:Artin–Tits group
(Redirected from Talk:Artin–Tits groups)
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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)
- Also agree that it could be merged but know insufficient about the subject to attempt it. Theroadislong (talk) 20:21, 31 July 2019 (UTC)