is a building block in the classification of finite simple groups
1
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:alternating_group_A_n_(for_n_>_2) | true |