Intuitionize nffv in iset.mm
Intuitionize nffv in iset.mm

The only change is from nfiota to nfiotaxy (the distinct
variable constraint was already satisfied).

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