Remove r19.30 from iset.mm
Remove r19.30 from iset.mm

It would only hold with additional conditions (see 19.30) and the
first usage in set.mm is much later.

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