set.mm - move up some thms not using ax-un to before ax-un, per Gerards suggestions
set.mm - move up some thms not using ax-un to before ax-un, per Gerards suggestions

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