is a non-compact group

URI: https://gptkb.org/prop/is_a_non-compact_group
3 triples
GPTKB property
Random triples
Subject Object
gptkb:Spin(1,4) true
gptkb:Sp(2,_R) true
gptkb:Spin(1,n) true