Metamath Proof Explorer

Table of Contents - 15.3.2. Zero and One

1. c0s
2. c1s
3. df-0s
4. df-1s
5. 0sno
6. 1sno
7. bday0s
8. 0slt1s
9. bday0b
10. bday1s
11. cuteq0
12. cuteq1
13. sgt0ne0
14. sgt0ne0d