Add modfzo0difsn to iset.mm
Add modfzo0difsn to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
but in various places needs to have real changed to integer (for
example, in various forms of trichotomy).

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