Metamath Proof Explorer

Table of Contents - 16.2.16. Angle Comparisons

1. cinag
2. cleag
3. df-inag
4. isinag
5. isinagd
6. inagflat
7. inagswap
8. inagne1
9. inagne2
10. inagne3
11. inaghl
12. df-leag
13. isleag
14. isleagd
15. leagne1
16. leagne2
17. leagne3
18. leagne4
19. cgrg3col4