is a simple Lie group for n+1 ≥ 3

URI: https://gptkb.org/prop/is_a_simple_Lie_group_for_n+1_≥_3
1 triples
GPTKB property
Random triples
Subject Object
gptkb:Spin(n+1) true