Add findcard2s and findcard2d to mmil.html
Add findcard2s and findcard2d to mmil.html

It would appear we may need these soon, but I'm not immediately seeing
how to prove them or adapt them into a form we can prove.

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