quaternionic projective plane

GPTKB entity