Remove resqrex from mmil.html
Remove resqrex from mmil.html

* resqrex is now proved, so does not belong in the missing theorems
list

* adjust 01sqrex entry accordingly

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