Make iset.mm proof of equsb3 intuitionistic.
Make iset.mm proof of equsb3 intuitionistic.

It already had a distinct variable constraint, so switching to sbco2v
works just fine.

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