every pair of lines meets in a unique point
1
triples
GPTKB property
Random triples
| Subject | Object |
|---|---|
| gptkb:Projective_plane_of_order_3 | true |