Add sqoddm1div8 to iset.mm
Add sqoddm1div8 to iset.mm

The theorem is stated as in set.mm. The proof is similar but with not
equal changed to apart in a few places.

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