Definition 2
Tag 0ALR, permanent. Cite it as [Bourbaki, Tag 0ALR].
Lie Groups and Lie Algebras, chapter IV, § 1. Coxeter Groups
A dihedral group is a group generated by two distinct elements of order two.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.