Metamath Proof Explorer

Table of Contents - 5.7.6. Subwords/substrings

1. csubstr
2. df-substr
3. swrdnznd
4. swrdval
5. swrd00
6. swrdcl
7. swrdval2
8. swrdlen
9. swrdfv
10. swrdfv0
11. swrdf
12. swrdvalfn
13. swrdrn
14. swrdlend
15. swrdnd
16. swrdnd2
17. swrdnnn0nd
18. swrdnd0
19. swrd0
20. swrdrlen
21. swrdlen2
22. swrdfv2
23. swrdwrdsymb
24. swrdsb0eq
25. swrdsbslen
26. swrdspsleq
27. swrds1
28. swrdlsw
29. ccatswrd
30. swrdccat2