Add cncongr1 to iset.mm
Add cncongr1 to iset.mm

The theorem is stated as in set.mm. The proof is basically the set.mm
one but needs not equal changed to apart in a few places.

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