admitsRoundMetric
P186615
predicate
Indicates that the entity can be endowed with a round (constant positive curvature) Riemannian metric.
Sample triples (1)
| Subject | Object |
|---|---|
| 4-sphere S^4 | true ⓘ |