Use the more general `Ord` instead of `e. On` in antecedents, producing stronger theorems
Use the more general `Ord` instead of `e. On` in antecedents, producing stronger theorems

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