Add znege1 to iset.mm
Add znege1 to iset.mm

This is fairly straightforward from existing integer theorems but if
there is an existing theorem which does most of the work I didn't find it.

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