isCocompact

URI: https://gptkb.org/prop/isCocompact
2 triples
GPTKB property
Random triples
Subject Object
gptkb:SL(n,ℤ) false
gptkb:SL_2(Z) false