Keyword: unipotent-radical

Theorem Levi Decomposition of Parabolic Subgroups admitted

Theorem Structure of Connected Solvable Algebraic Groups admitted

Theorem Unipotent Radical of a Borel Subgroup and Positive Roots admitted