Auxiliary theorems, especially for Words
Auxiliary theorems, especially for Words

Auxiliary theorems (required for graph theory), especially for Words: subwords of subwords, subwords of concatenated words

metamath/set.mm,metamath/set.mm,metamath/set.mm