Remove 2ralor from iset.mm
Remove 2ralor from iset.mm

The first use in set.mm is much later in the file, and it probably
needs decidability conditions or a restriction to one direction.

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