Add some non-empty theorems to mmil.html
Add some non-empty theorems to mmil.html

There are a lot of theorems which are stated with non-empty in
set.mm and inhabited in iset.mm. The ones added to the missing
theorem list here are not all of them, but gotta start somewhere.

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