isSimpleLieGroupFor

URI: https://gptkb.org/prop/isSimpleLieGroupFor
2 triples
GPTKB property
Random triples
Subject Object
gptkb:projective_unitary_group_PU(n) n ≥ 2
gptkb:projective_special_orthogonal_group_PSO(n) n > 2