Add real number trichotomy to mmil.html
Add real number trichotomy to mmil.html

That is, add lttri2 , lttri3 , lttri4 , letri3, leloe ,
and eqlelt to the list of theorems in set.mm and not in iset.mm

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