Metamath Proof Explorer

Table of Contents - 15.6.4. Integers

1. czs
2. df-zs
3. zsex
4. zssno
5. zno
6. znod
7. elzs
8. nnzsubs
9. nnzs
10. nnzsd
11. 0zs
12. n0zs
13. n0zsd
14. 1zs
15. znegscl
16. znegscld
17. zaddscl
18. zaddscld
19. zsubscld
20. zmulscld
21. elzn0s
22. elzs2
23. eln0zs
24. elnnzs
25. elznns
26. zn0subs
27. peano5uzs
28. uzsind
29. zsbday
30. zcuts
31. zcuts0
32. zsoring