Intuitionize dfnul3 in iset.mm
Intuitionize dfnul3 in iset.mm

This is just a matter of slight rearrangement, most notably
replacing 2th with 2false. With that change, the existing
proof still works.

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