Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Words over a set - misc additions
Splicing words (substring replacement)
Next ⟩
splfv3
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 20.3.7.21. Splicing words (substring replacement)
splfv3