Definition of and theorems for "repeated symbol words"
Definition of and theorems for "repeated symbol words"

- Definition of  "repeated symbol words" ( ~ df-reps ) and basic theorems.
- subwords/cyclically shifted words as functions
- improvements/revisions of theorems according to the generalized definition of cyclical shifts and using the new notation of "repeated symbol words"
- additional theorems about mappings of words
- corrections/improvements of comments

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