Add geolim to iset.mm
Add geolim to iset.mm

Stated as in set.mm.  The proof needs intuitionizing in a number of
places but it is basically the set.mm proof.

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