Remove dvs for nonexistent variables, part 5
Remove dvs for nonexistent variables, part 5

Remove dvs identified by scripts/check-dvs.py from set.mm, from "BASIC
REAL AND COMPLEX ANALYSIS" through the remainder of the main part of
set.mm; i.e., everything except the mathboxes.

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