Random triples
| Subject | Object |
|---|---|
| gptkb:circle_(S^1) | true |
| gptkb:discrete_metric_space | if and only if the underlying set has at most one point |
| gptkb:S^1 | true |
| gptkb:real_line_R | true |
| gptkb:finite-dimensional_Euclidean_space | yes |
| gptkb:SO(N,_ℝ) | true |
| gptkb:R^n_/_Z^n | true |
| gptkb:Euclidean_topology | true |
| gptkb:n-dimensional_real_Euclidean_space | yes |
| gptkb:Mandelbrot_set | true |
| gptkb:lens_space | true |