shorten elsymdifxor (#2764)
shorten elsymdifxor (#2764)

* shorten elsymdifxor

* comment edits in 'symdif' theorems; move symdif2 before the definition df-symdif
metamath/set.mm,metamath/set.mm,metamath/set.mm