Add hashle00 to mmil.html
Add hashle00 to mmil.html

It isn't clear we could strengthen sizeeq0 much nor that there is much
to say about the differences.

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