Math.Algebra.Group.PermutationGroup
data Permutation a
(.^)
(-^)
p
(^-)
(~^)
(.^^)
(-^^)
_C
_S
_A
elts
order
orderSGS
conjClassReps
subgps
isNormal
normalSubgps
quotientGp
(//)