isLocallyCompact

URI: https://gptkb.org/prop/isLocallyCompact
12 triples
GPTKB property
Random triples
Subject Object
gptkb:n-dimensional_real_Euclidean_space yes
gptkb:Weil_group true
gptkb:Euclidean_space_(where_the_metric_is_positive-definite) true
gptkb:symplectic_group_over_p-adic_numbers true
gptkb:discrete_metric_space true
gptkb:discrete_topology true
gptkb:real_line_R true
gptkb:6-dimensional_Euclidean_space true
gptkb:Euclidean_topology true
gptkb:finite-dimensional_Euclidean_space yes
gptkb:Euclidean_n-space yes
gptkb:3-dimensional_Euclidean_space yes