isDiscreteIn

URI: https://gptkb.org/prop/isDiscreteIn
3 triples
GPTKB property
Random triples
Subject Object
gptkb:SL(n,ℤ) SL(n,ℝ)
gptkb:SL(2,_Z) gptkb:SL(2,_R)
gptkb:SL_2(Z) gptkb:SL_2(R)_(in_analytic_topology)