Remove iinvdif from iset.mm
Remove iinvdif from iset.mm

Looks like iindif2m is all we can get easily, and since iinvdif
isn't used in set.mm, there isn't any urgency in investigating
in a lot of detail.

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