Add onxpdisj to mmil.html
Add onxpdisj to mmil.html

I'm not sure I even have a good guess about whether this one is
provable, but it is unused in set.mm and I'm not thinking of a reason
we'll need it in iset.mm either.

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