Move definitions and theorems about Words from AV's Mathbox to main part
Move definitions and theorems about Words from AV's Mathbox to main part

Part 1 of actions according to GIT issue #599

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