is a simple group

URI: https://gptkb.org/prop/is_a_simple_group
4 triples
GPTKB property
Random triples
Subject Object
gptkb:Spin(13) true
gptkb:Spin(n) true (for n ≥ 3, except n=4)
gptkb:Spin(1,4) true
gptkb:unitary_group_PSU(3,5) true