Metamath Proof Explorer

Table of Contents - 17.3. (Future - to be reviewed and classified)

1. Planar incidence geometry
   1. cplig
   2. df-plig
   3. isplig
   4. ispligb
   5. tncp
   6. l2p
   7. lpni
   8. nsnlplig
   9. nsnlpligALT
   10. n0lplig
   11. n0lpligALT
   12. eulplig
   13. pliguhgr
2. Aliases kept to prevent broken links
   1. dummylink
   2. id1