Remove con3and from iset.mm
Remove con3and from iset.mm

This was an old name for what is now called con3dimp . So get rid
of con3and , keep con3dimp , and change the usages of con3and to use
con3dimp instead.

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