Remove dvs for nonexistent variables, part 8
Remove dvs for nonexistent variables, part 8

Remove dvs identified by scripts/check-dvs.py from set.mm mathboxes.

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