projective line over F 3

GPTKB entity

Statements (13)