Add onunsnss to iset.mm
Add onunsnss to iset.mm

There might be more things we can do with ordinals of the form
A u. { B } but this is one place to start.

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