Fix supremum entries in mmil.html (#2429)
Fix supremum entries in mmil.html (#2429)

Most of these set.mm theorems still would need modification to be
provable in iset.mm (with a few exceptions as noted), but the reasoning
is now much more complicated than "iset doesn't do supremums".
metamath/set.mm,metamath/set.mm,metamath/set.mm