Metamath Proof Explorer

Table of Contents - 16.2.14. Planes

1. cplng
2. df-plng
3. tgplnfn
4. tgelrnpln
5. plngval
6. isplng
7. plngrnssp
8. elplng
9. plngssp
10. elplngid
11. elplnglnid
12. lnincplng
13. plngcplem
14. plngcp
15. plngrotlem1
16. plngrotlem2
17. plngrotlem3
18. plngrot
19. lnssplnglem
20. lnssplng
21. lnssplng1
22. plngmiropp
23. mirplncl
24. hpgssplng
25. plng3p
26. nhpmirhp