Metamath Proof Explorer

Table of Contents - 5.9.1. The "shift" operation

1. cshi
2. df-shft
3. shftlem
4. shftuz
5. shftfval
6. shftdm
7. shftfib
8. shftfn
9. shftval
10. shftval2
11. shftval3
12. shftval4
13. shftval5
14. shftf
15. 2shfti
16. shftidt2
17. shftidt
18. shftcan1
19. shftcan2
20. seqshft