Remove 1st2val and 2nd2val from iset.mm
Remove 1st2val and 2nd2val from iset.mm

Although they could be intuitionized by adding an A e. ( _V X _V )
condition, they are unused in set.mm.

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