Intuitionize op1stb in iset.mm
Intuitionize op1stb in iset.mm

Just a matter of changing snex to snexg and prex to prexg ; the
hypotheses are already present.

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