Intuitionize unex in iset.mm
Intuitionize unex in iset.mm

This is just a matter of changing prex to prexg ; we already
have existence hypotheses for the sets in question.

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