Metamath Proof Explorer

Table of Contents - 21.12.19. Forward difference

1. cfwddif
2. df-fwddif
3. cfwddifn
4. df-fwddifn
5. fwddifval
6. fwddifnval
7. fwddifn0
8. fwddifnp1