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. ccat2s1lenOLD
  10. ccatw2s1cl
  11. ccatw2s1len
  12. ccats1val1
  13. ccats1val1OLD
  14. ccats1val2
  15. ccat1st1st
  16. ccat2s1p1
  17. ccat2s1p2
  18. ccat2s1p1OLD
  19. ccat2s1p2OLD
  20. ccatw2s1ass
  21. ccatw2s1assOLD
  22. ccatws1n0
  23. ccatws1ls
  24. lswccats1
  25. lswccats1fst
  26. ccatw2s1p1
  27. ccatw2s1p1OLD
  28. ccatw2s1p2
  29. ccat2s1fvw
  30. ccat2s1fvwOLD
  31. ccat2s1fst
  32. ccat2s1fstOLD