Remove ralcom2 from iset.mm
Remove ralcom2 from iset.mm

It is not much used, not especially more interesting than ralcom,
and the current proof is not intuitionistic.

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