Corollary
Tag 0ARG, permanent. Cite it as [Bourbaki, Tag 0ARG].
Lie Groups and Lie Algebras, chapter V, § 4. The geometric representation of a Coxeter group
The pair (W, S) is a Coxeter system with matrix M.
This is simply the content of properties b) and c), together with the definition of W.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.