Session Jordan_Hoelder
View
theory dependencies
View
document
View
outline
Theories
MaximalNormalSubgroups
Secondary_Sylow.GroupAction
Secondary_Sylow.SubgroupConjugation
Secondary_Sylow.SndSylow
CompositionSeries
GroupIsoClasses
JordanHolder