Intuitionize iundif2 in iset.mm
Intuitionize iundif2 in iset.mm

Rename to iundif2ss and change equality to subset. Modify the
proof by changing rexnal to rexnalim and adjusting the rest of
the proof accordingly.

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