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. ccatsymb
14. ccatfv0
15. ccatval1lsw
16. ccatval21sw
17. ccatlid
18. ccatrid
19. ccatass
20. ccatrn
21. ccatidid
22. lswccatn0lsw
23. lswccat0lsw
24. ccatalpha
25. ccatrcl1