Add sqgcd to iset.mm
Add sqgcd to iset.mm

The theorem is stated as in set.mm. The proof is similar to the set.mm
one but with not equal changed to apart several places.

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