Add telfsumo to iset.mm
Add telfsumo to iset.mm

Stated as in set.mm.  The proof needs a small amount of intuitionizing
in two places but is otherwise the set.mm proof.

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