Metamath Proof Explorer

Table of Contents - 20.10.21. Surreal Numbers

1. csur
2. cslt
3. cbday
4. df-no
5. df-slt
6. df-bday
7. elno
8. sltval
9. bdayval
10. nofun
11. nodmon
12. norn
13. nofnbday
14. nodmord
15. elno2
16. elno3
17. sltval2
18. nofv
19. nosgnn0
20. nosgnn0i
21. noreson
22. sltintdifex
23. sltres
24. noxp1o
25. noseponlem
26. nosepon
27. noextend
28. noextendseq
29. noextenddif
30. noextendlt
31. noextendgt
32. nolesgn2o
33. nolesgn2ores
34. nogesgn1o
35. nogesgn1ores