Metamath Proof Explorer

Table of Contents - 21.52.6.18. The floor and ceiling functions - extension

1. 2ltceilhalf
2. ceilhalfgt1
3. ceilhalfelfzo1
4. gpgedgvtx1lem
5. 2tceilhalfelfzo1
6. ceilbi
7. ceilhalf1
8. rehalfge1
9. ceilhalfnn
10. 1elfzo1ceilhalf1
11. nnge2recfl0
12. flmrecm1