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