Math.Algebra.Group.Subquotients

isLeft

isRight

unRight

restrictLeft

ptStab

isTransitive

transitiveConstituentHomomorphism

transitiveConstituentHomomorphism'

minimalBlock

blockSystems

blockSystemsSGS

isPrimitive

isPrimitiveSGS

blockHomomorphism

blockHomomorphism'

normalClosure

intersectionNormalClosure

centralizerSymTrans