Metamath Proof Explorer

Table of Contents - 5.7.9. Subwords and concatenations

1. pfxcctswrd
2. lenpfxcctswrd
3. lenrevpfxcctswrd
4. pfxlswccat
5. ccats1pfxeq
6. ccats1pfxeqrex
7. ccatopth
8. ccatopth2
9. ccatlcan
10. ccatrcan
11. wrdeqs1cat
12. cats1un
13. wrdind
14. wrd2ind