inhomogeneous orthogonal group

GPTKB entity