Remove underscore from labels in iset.mm
Remove underscore from labels in iset.mm

This is lt_2.1 , lt_2.2 and lt_2.3 which are renamed to lt2.1
lt2.2 and lt2.3 , respectively.

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