Add draft "mmdeduction-replacement.html" stub
Add draft "mmdeduction-replacement.html" stub

This is a start at a replacement page for mmdeduction.html
(the idea is that the old one would be moved); it is specifically
marked as draft.  Comments welcome.

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