Metamath Proof Explorer

Table of Contents - 15.2.1. Ordering Theorems

1. csle
2. df-sle
3. sltirr
4. slttr
5. sltasym
6. sltlin
7. slttrieq2
8. slttrine
9. slenlt
10. sltnle
11. sleloe
12. sletri3
13. sltletr
14. slelttr
15. sletr
16. slttrd
17. sltletrd
18. slelttrd
19. sletrd
20. slerflex
21. sletric
22. maxs1
23. maxs2
24. mins1
25. mins2
26. sltled
27. sltne
28. sltlend