Modify ax-i11e to be correct.
Modify ax-i11e to be correct.

The direction of the implication had been wrong, which had led to
inconsistency.

Revise proofs of ax10oe, sbcof2, and drex1 accordingly.

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