Add findcard3 to mmil.html
Add findcard3 to mmil.html

We may need to revisit this at some point, but it is not as heavily used
as some of the other finite set induction theorems.

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