Remove unnecessary hypothesis from iseqid2
Remove unnecessary hypothesis from iseqid2

It was S e. V and was not being used in the proof.
Update the only usage of iseqid2 .

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