Add moddvds to iset.mm
Add moddvds to iset.mm

The theorem is stated as in set.mm. The proof is similar to set.mm but
needs to have real changed to rational in a number of places.

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