Add nn0abscl to iset.mm
Add nn0abscl to iset.mm

The theorem is as stated in set.mm. The proof is one which does
not rely on absz or absge0 , which iset.mm doesn't have (at least
not yet).

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