Add fodomr to mmil.html
Add fodomr to mmil.html

fodomr implies excluded middle. For now just cite an informal proof
from the literature (that proof does seem like one we could formalize).

Also cite that same paper for the proposition that sbth implies excluded
middle.

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