Add issod to iset.mm
Add issod to iset.mm

The theorem is stated exactly as in set.mm, although the difference
between df-so and df-iso calls for rewording the comment a bit.

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