nonCompact

URI: https://gptkb.org/prop/nonCompact
4 triples
GPTKB property
Random triples
Subject Object
gptkb:GL(n,_R) true
gptkb:SL(n,_ℝ) true
gptkb:SO(3,1) Yes
gptkb:SL_2(R)_(in_analytic_topology) true