isNotCompact

URI: https://gptkb.org/prop/isNotCompact
2 triples
GPTKB property
Random triples
Subject Object
gptkb:Projective_Special_Linear_Group_PSL(2,_R) true
gptkb:Euclidean_topology true