Add nfalt to iset.mm
Add nfalt to iset.mm

This is a closed form of nfal and follows from df-nf and the
usual universal quantification theorems (alim etc).

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