is the only non-abelian simple group of order 2432902008176640000

1 triples
GPTKB property

Random triples
Subject Object
gptkb:alternating_group_A_n_(for_n_>_2) true for n = 20