renumber the lemmas for axfe, cut the unused ones, and restate the empty versions of the theorems
renumber the lemmas for axfe, cut the unused ones, and restate the empty versions of the theorems

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