real projective space RP^3

GPTKB entity