Random triples
| Subject | Object |
|---|---|
| gptkb:standard_7-sphere | simply connected |
| gptkb:7-dimensional_sphere | simply connected |
| gptkb:projective_line_over_ℝ | gptkb:butter |
| gptkb:sphere_S^{N-1} | compact manifold |
| gptkb:15-sphere | gptkb:Riemannian_manifold |
| gptkb:quaternion_projective_plane | 8-dimensional manifold |
| gptkb:sphere_S^{N-1} | connected manifold |
| gptkb:quaternionic_projective_plane | 8-dimensional manifold |
| gptkb:Complex_projective_line | 2-sphere |
| gptkb:standard_7-sphere | compact manifold |
| gptkb:7-dimensional_sphere | compact manifold |