Metamath Proof Explorer


Table of Contents - 20.10.30. Surreal numbers - cuts and options

  1. cmade
  2. cold
  3. cnew
  4. cleft
  5. cright
  6. df-made
  7. df-old
  8. df-new
  9. df-left
  10. df-right
  11. madeval
  12. madeval2
  13. oldval
  14. newval
  15. madef
  16. oldf
  17. newf
  18. old0
  19. madessno
  20. oldssno
  21. newssno
  22. leftval
  23. rightval
  24. leftf
  25. rightf
  26. elmade
  27. elmade2
  28. elold
  29. ssltleft
  30. ssltright
  31. lltropt
  32. made0
  33. new0
  34. madess
  35. oldssmade
  36. leftssold
  37. rightssold
  38. leftssno
  39. rightssno
  40. madecut
  41. madeun
  42. madeoldsuc
  43. oldsuc
  44. oldlim
  45. madebdayim
  46. oldbdayim
  47. oldirr
  48. leftirr
  49. rightirr
  50. left0s
  51. right0s
  52. lrold
  53. madebdaylemold
  54. madebdaylemlrcut
  55. madebday
  56. oldbday
  57. newbday
  58. lrcut
  59. scutfo
  60. sltn0
  61. lruneq
  62. sltlpss