Metamath Proof Explorer

Table of Contents - 21.4.8. Words over a set - misc additions

1. wrdres
2. wrdsplex
3. wrdfsupp
4. wrdpmcl
5. pfx1s2
6. pfxrn2
7. pfxrn3
8. pfxf1
9. s2f1
10. s3f1
11. s3clhash
12. pfxlsw2ccat
13. ccatws1f1o
14. ccatws1f1olast
15. wrdt2ind
16. swrdrn2
17. swrdrndisj
18. Splicing words (substring replacement)
    1. splfv3
19. Cyclic shift of words
    1. 1cshid
    2. cshw1s2
    3. cshwrnid
    4. cshf1o