Riemannian orbifold

GPTKB entity