is locally compact

URI: https://gptkb.org/prop/is_locally_compact
2 triples
GPTKB property
Random triples
Subject Object
gptkb:One-point_space true
gptkb:field_of_real_numbers_R true