Xchg lemma is Admitted

I was doing Print Assumptions and noticed an Admitted in ReLoC here.