everyTwoDistinctLinesMeetAtUniquePoint
1
triples
GPTKB property
Random triples
Subject | Object |
---|---|
gptkb:projective_plane_P^2 | true |