Add renegcl to iset.mm
Add renegcl to iset.mm

renegcl and renegcli are stated as in set.mm and proved in roughly
the same way, but with the proof rearranged to avoid dedth .

The resubcli proof is copied from set.mm without changes.

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