Metamath Proof Explorer

Table of Contents - 5.7.3. Concatenations of words

1. cconcat
2. df-concat
3. ccatfn
4. ccatfval
5. ccatcl
6. ccatlen
7. ccat0
8. ccatval1
9. ccatval2
10. ccatval3
11. elfzelfzccat
12. ccatvalfn
13. ccatdmss
14. ccatsymb
15. ccatfv0
16. ccatval1lsw
17. ccatval21sw
18. ccatlid
19. ccatrid
20. ccatass
21. ccatrn
22. ccatidid
23. lswccatn0lsw
24. lswccat0lsw
25. ccatalpha
26. ccatrcl1