Remark 1

Tag 0AUW, permanent. Cite it as [Bourbaki, Tag 0AUW].

Lie Groups and Lie Algebras, chapter VI, § 1. Root systems

Assertion (vii) shows in particular that $W(R)$ is generated by the reflections $s_{\alpha_i}$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.