Metamath Proof Explorer

Table of Contents - 15.2.13. Half-planes

1. islnopp
2. islnoppd
3. oppne1
4. oppne2
5. oppne3
6. oppcom
7. opptgdim2
8. oppnid
9. opphllem1
10. opphllem2
11. opphllem3
12. opphllem4
13. opphllem5
14. opphllem6
15. oppperpex
16. opphl
17. outpasch
18. hlpasch
19. chpg
20. df-hpg
21. ishpg
22. hpgbr
23. hpgne1
24. hpgne2
25. lnopp2hpgb
26. lnoppnhpg
27. hpgerlem
28. hpgid
29. hpgcom
30. hpgtr
31. colopp
32. colhp
33. hphl