|
gptkb:Sym(7)
|
true
|
|
gptkb:symmetric_group_S_{n+1}
|
true
|
|
gptkb:symmetric_group_S23
|
true
|
|
gptkb:symmetric_group_S_5
|
true
|
|
gptkb:symmetric_group_S_8
|
true
|
|
gptkb:symmetric_group_S8
|
true
|
|
gptkb:Sym(8)
|
true
|
|
gptkb:alternating_group_A_{n-1}
|
true for n-1 > 2
|
|
gptkb:symmetric_group_S24
|
true
|
|
gptkb:symmetric_group_S_n_(n_≥_3)
|
true
|
|
gptkb:Sym(5)
|
true
|
|
gptkb:BigInt
|
true
|
|
gptkb:A_n_(alternating_group)
|
true for n > 2
|
|
gptkb:symmetric_group_S_{2^n}
|
true
|
|
gptkb:symmetric_group_S11
|
true
|
|
gptkb:alternating_group_A11
|
true
|
|
gptkb:S_6
|
true
|
|
gptkb:S_7
|
true
|
|
gptkb:symmetric_group_S_4
|
true
|
|
gptkb:S_5
|
true
|