Add eqvincg to iset.mm
Add eqvincg to iset.mm

The proof is the same as set.mm except that 19.37v is changed to
19.37-1 (which is no problem, since that is the direction that
the proof had been using).

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