Add georeclim to iset.mm
Add georeclim to iset.mm

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

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