Metamath Proof Explorer

Table of Contents - 5.7.10. Subwords of concatenations

1. swrdccatfn
2. swrdccatin1
3. pfxccatin12lem4
4. pfxccatin12lem2a
5. pfxccatin12lem1
6. swrdccatin2
7. pfxccatin12lem2c
8. pfxccatin12lem2
9. pfxccatin12lem3
10. pfxccatin12
11. pfxccat3
12. swrdccat
13. pfxccatpfx1
14. pfxccatpfx2
15. pfxccat3a
16. swrdccat3blem
17. swrdccat3b
18. pfxccatid
19. ccats1pfxeqbi
20. swrdccatin1d
21. swrdccatin2d
22. pfxccatin12d
23. reuccatpfxs1lem
24. reuccatpfxs1
25. reuccatpfxs1v