isFiniteSimpleGroup

4 triples
GPTKB property

Random triples
Subject Object
gptkb:PSL(2) for q ≥ 4, q ≠ 2,3
gptkb:symplectic_group_over_finite_fields for n > 1, q > 2
gptkb:symplectic_group_over_finite_field for n \\geq 2, q > 2
gptkb:PSp(2n,q) true (for n>1 or n=1 and q>3)