Add archnq to mmil.html
Add archnq to mmil.html

The theorem as stated would need to be updated for equivalence
classes, but perhaps more to the point it is used only one place
in set.mm, for prlem934 , and that's a proof we'll need to look
at more closely when we get to it.

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