Add hash2iun to iset.mm
Add hash2iun to iset.mm

Stated as in set.mm.  The proof is taken from set.mm and only needs a
small amount of intuitionizing (change iunfi to iunfidisj ).

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