Database
REAL AND COMPLEX NUMBERS
Words over a set
Splicing words (substring replacement)
Next ⟩
csplice
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 5.7.11. Splicing words (substring replacement)
csplice
df-splice
splval
splcl
splid
spllen
splfv1
splfv2a
splval2