Add zmod10 to iset.mm
Add zmod10 to iset.mm

The theorem is stated as in set.mm. The proof needs real to be changed
to rational in a few places but is otherwise unchanged.

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