Add supexpr and lemmas to mmil.html
Add supexpr and lemmas to mmil.html

We'll presumably need to come back to least upper bounds or
related topics in more detail later, but for now just add to the
missing theorems list.

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