Riemannian isometry group

GPTKB entity