Metamath Proof Explorer

Table of Contents - 5.7.12. Reversing words

1. creverse
2. df-reverse
3. revval
4. revcl
5. revlen
6. revfv
7. rev0
8. revs1
9. revccat
10. revrev
11. revpfxsfxrev
12. swrdrevpfx