Metamath Proof Explorer

Table of Contents - 20.10.32. 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. leftval
  19. rightval
  20. leftf
  21. rightf
  22. elmade
  23. elmade2
  24. elold
  25. ssltleft
  26. ssltright
  27. lltropt
  28. old0
  29. made0
  30. new0
  31. madess
  32. oldssmade
  33. leftssold
  34. rightssold
  35. leftssno
  36. rightssno
  37. madecut
  38. madeun
  39. madeoldsuc
  40. oldsuc
  41. oldlim
  42. madebdayim
  43. oldbdayim
  44. oldirr
  45. leftirr
  46. rightirr
  47. left0s
  48. right0s
  49. lrold
  50. madebdaylemold
  51. madebdaylemlrcut
  52. madebday
  53. oldbday
  54. newbday
  55. lrcut
  56. scutfo