Add df-sup and friends to mmil.html
Add df-sup and friends to mmil.html

We mention theorems which rely on df-sup a bunch of places in the
missing theorems list but should also list df-sup itself.

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