Intuitionize eueq3 in iset.mm
Intuitionize eueq3 in iset.mm

Add decidability condition and rename to eueq3dc. As with eueq2,
the existing proof translates to a decidability condition easily.

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