Jordan-Holder Theorem Updated +Created
Uniqueness results for the composition series of a group.