Add ffzo0hash to iset.mm
Add ffzo0hash to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
one but uses fihashfn instead of hashfn .

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