Jordan-Holder Theorem by Ciro Santilli 34 Updated Created
Uniqueness results for the composition series of a group.