Metamath Proof Explorer

Table of Contents - 5.4.5. Simple number properties

1. halfcl
2. rehalfcl
3. half0
4. 2halves
5. halfpos2
6. halfpos
7. halfnneg2
8. halfaddsubcl
9. halfaddsub
10. subhalfhalf
11. lt2halves
12. addltmul
13. nominpos
14. avglt1
15. avglt2
16. avgle1
17. avgle2
18. avgle
19. 2timesd
20. times2d
21. halfcld
22. 2halvesd
23. rehalfcld
24. lt2halvesd
25. rehalfcli
26. lt2addmuld
27. add1p1
28. sub1m1
29. cnm2m1cnm3
30. xp1d2m1eqxm1d2
31. div4p1lem1div2