Keyword: weyl-group

Theorem Bruhat Decomposition admitted

Definition Conjugacy Classes in the Weyl Group admitted

Definition Semisimple Conjugacy Classes admitted

Theorem Springer Correspondence admitted

Theorem Weyl Group Is Generated by Root Reflections admitted