Intuitionize nfdif in iset.mm
Intuitionize nfdif in iset.mm

The proof only needs nfrab changed to nfrabxy (the distinct
variable constraint is already satisfied).

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