Random triples
| Subject | Object |
|---|---|
| gptkb:Complex_projective_space | Yes |
| gptkb:P^1(R) | PSL(2,R)/SO(2) |
| gptkb:quaternion_projective_plane | gptkb:F4/Spin(9) |
| Subject | Object |
|---|---|
| gptkb:Complex_projective_space | Yes |
| gptkb:P^1(R) | PSL(2,R)/SO(2) |
| gptkb:quaternion_projective_plane | gptkb:F4/Spin(9) |