real projective plane

GPTKB entity