Remove unneeded distinct variables in iset.mm
Remove unneeded distinct variables in iset.mm

This is for tfri1dALT where some distinct variable conditions had crept
in which are not needed.

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