symplectic group over quaternions

GPTKB entity