Add isershft to mmil.html
Add isershft to mmil.html

This seems like a certain amount of work and maybe we don't have to do
it just yet looking at the usages.

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