Add hashfz to iset.mm
Add hashfz to iset.mm

The theorem is stated as in set.mm. The proof is basically the set.mm
one but needs some changes for differences in how finite sets work.

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