Remove prnebg from iset.mm
Remove prnebg from iset.mm

It is not intuitionistic and I'm not sure it is easily
intuitionized.

Also, it is unused in set.mm so there is no rush.

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