mmdeduction: fix broken links (#2842)
mmdeduction: fix broken links (#2842)

* mmdeduction: fix broken links; stand-alone-->standalone; logical quotation style

* mmdeduction: add precision about proof verification
metamath/set.mm,metamath/set.mm,metamath/set.mm