projective line over F 3

GPTKB entity