Add ltoddhalfle to iset.mm
Add ltoddhalfle to iset.mm

The statement of the theorem is as in set.mm. The proof is also taken
from set.mm but with not equal changed to apart in some places.

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