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. ccatlenOLD
8. ccat0
9. ccatval1
10. ccatval1OLD
11. ccatval2
12. ccatval3
13. elfzelfzccat
14. ccatvalfn
15. ccatsymb
16. ccatfv0
17. ccatval1lsw
18. ccatval21sw
19. ccatlid
20. ccatrid
21. ccatass
22. ccatrn
23. ccatidid
24. lswccatn0lsw
25. lswccat0lsw
26. ccatalpha
27. ccatrcl1