Metamath Proof Explorer

Table of Contents - 5.7.5. Concatenations with singleton words

1. ccatws1cl
2. ccatws1clv
3. ccat2s1cl
4. ccats1alpha
5. ccatws1len
6. ccatws1lenp1b
7. wrdlenccats1lenm1
8. ccat2s1len
9. ccatw2s1cl
10. ccatw2s1len
11. ccats1val1
12. ccats1val2
13. ccat1st1st
14. ccat2s1p1
15. ccat2s1p2
16. ccatw2s1ass
17. ccatws1n0
18. ccatws1ls
19. lswccats1
20. lswccats1fst
21. ccatw2s1p1
22. ccatw2s1p2
23. ccat2s1fvw
24. ccat2s1fst