Keyword: borel

Theorem Borel Fixed Point Theorem admitted

Theorem Borel Subgroups Are Conjugate and Control Parabolics admitted

Theorem Bruhat Decomposition admitted