Intuitionize dff13f in iset.mm
Intuitionize dff13f in iset.mm

The only change needed is to change nfral to nfralxy ; the
distinct variable constraint is already satisfied.

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