Metamath Proof Explorer


Table of Contents - 5.7.11. Splicing words (substring replacement)

  1. csplice
  2. df-splice
  3. splval
  4. splcl
  5. splid
  6. spllen
  7. splfv1
  8. splfv2a
  9. splval2