Update mmil.html for having added df-map
Update mmil.html for having added df-map

There were several entries for things which might be provable now that
we have it.

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