Add fzomaxdif to iset.mm
Add fzomaxdif to iset.mm

The only change to the proof is to change letric to zletric .
The statement of the theorem does not need to change.

Includes fzomaxdiflem which needs no change from set.mm.

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