Metamath Proof Explorer

Table of Contents - 21.47.9. Shifting functions with an integer range domain

1. fargshiftfv
2. fargshiftf
3. fargshiftf1
4. fargshiftfo
5. fargshiftfva